Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
791	CATEGORICAL MODELS OF FIRST-ORDER CLASSICAL PROOFS Add to Reading List Source URL: www.iam.unibe.ch Language: English - Date: 2010-08-30 08:34:57 Proof theory Natural deduction Linear logic Sequent Categorical logic First-order logic Intuitionistic logic Interpretation Propositional calculus Logic Mathematical logic Mathematics
792	Negation and Negative Information in the W3C Resource Description Framework Anastasia Analyti1 , Grigoris Antoniou1,2 , Add to Reading List Source URL: www.ics.forth.gr Language: English - Date: 2011-05-10 07:25:11 Non-classical logic Reasoning Propositional calculus Stable model semantics Negation Closed world assumption Paraconsistent logic Non-monotonic logic Prolog Logic Mathematical logic Logic programming
793	The Reverse Logic of Resolving the Contradictions-pop 2 rzy Add to Reading List Source URL: studiahumana.com Language: English - Date: 2013-11-11 11:08:36 Mathematical logic Propositional calculus Logical consequence Non-classical logic Contradiction Truth Law of noncontradiction Principia Mathematica Entailment Logic Philosophy Philosophical logic
794	Gabbay Publications Chronological Publications List Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English Philosophical logic Model theory Modal logic Non-monotonic logic Kripke semantics Temporal logic Intermediate logic Proof theory First-order logic Logic Mathematical logic Non-classical logic
795	Association for Symbolic Logic Business Office: Box 742, Vassar College 124 Raymond Avenue, Poughkeepsie, New York 12604, USA Add to Reading List Source URL: www.aslonline.org Language: English - Date: 2011-04-18 09:16:27 Non-classical logic American Sign Language Association for Symbolic Logic Workshop on Logic Language Information and Computation Computability theory Modal logic Greg Hjorth Mereology Logic programming Logic Mathematical logic Philosophical logic
796	Volume 10, 2012 The Proceedings of the Society for Medieval Logic and Metaphysics (P.S.M.L.M.) is the Add to Reading List Source URL: faculty.fordham.edu Language: English - Date: 2013-01-17 12:08:16 Classical mechanics Introductory physics Theology Philosophy of science Inertia Thomism Aristotelian physics Unmoved mover Cosmological argument Physics Philosophy Natural philosophy
797	The Bulletin of Symbolic Logic Volume 6, Number 2, June 2000 Add to Reading List Source URL: www.math.mcgill.ca Language: English - Date: 2006-06-17 16:44:59 Model theory Categorical logic Theoretical computer science Non-classical logic Category theory Higher-order logic Modal logic Type theory First-order logic Logic Mathematics Mathematical logic
798	Two Classical Surprises Concerning the Axiom of Choice and the Continuum Hypothesis Add to Reading List Source URL: www.maa.org Language: English - Date: 2013-07-12 13:40:31 Cardinal numbers Infinity Ordinal numbers Forcing Axiom of choice Zermelo–Fraenkel set theory Transfinite number Continuum hypothesis Constructible universe Mathematical logic Mathematics Set theory
799	Deep Inference and Symmetry in Classical Proofs Dissertation zur Erlangung des akademischen Grades Add to Reading List Source URL: www.iam.unibe.ch Language: English - Date: 2004-03-12 06:11:33 Propositional calculus Logical syntax Inference Logical truth Natural deduction Sequent calculus First-order logic Rule of inference Sequent Logic Mathematical logic Proof theory
800	The Next 700 Programming Languages P. J. Landin Univac Division of Sperry Rand Corp., New York, New York Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-09-13 14:59:50 Combinatory logic Lambda calculus Logic in computer science Classical cipher Four-square cipher Computer programming Computing Software engineering

UPDATE